Сайт Информационных Технологий

МОДЕЛИ И МЕТОДЫ ПОСТРОЕНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТОВ РЕАЛЬНОГО ВРЕМЕНИ

М.Г.Пантелеев

Санкт-Петербургский государственный электротехнический университет “ЛЭТИ”

Abstract – An approach to constructing real-time intelligent agents (RTIA) that works in dynamic and uncertain environments is proposed. An upper-level formal model of RTIA as set of mental state spaces and mappings between these spaces is defined. The main peculiarity of the model is that mappings are considered as anytime algorithms. Special language to describe focus-of-attention rules and scheduling algorithm are proposed.

Введение

Под интеллектуальным агентом понимается высокоинтегрированная система, способная к целенаправленным автономным действиям в открытых мирах (физических или виртуальных) на основе представления и обработки знаний [1-2]. К системам данного класса относятся интегральные автономные роботы, беспилотные летательные аппараты и другие автономно действующие системы. Создание интеллектуальных агентов является в последние годы одним из основных направлений исследований в области искусственного интеллекта. Важнейшим требованием к таким системам является принятие решений в реальном времени при функционировании в динамической и неопределенной среде. Традиционные подходы к обеспечению режима реального времени, основанные на априорных допущениях об условиях функционирования системы, не пригодны в полной мере для построения агентов, действующих в динамических и неопределенных мирах, так как временные ограничения на принятие решений выявляются агентом динамически на основе анализа ситуации, меняющейся априори непредсказуемым образом.

Системы данного класса, согласно современным представлениям, должны строиться на основе принципа ограниченной эффективности, в соответствии с которым, в общем случае, невозможно за имеющееся время решить все задачи с максимальным качеством. Реализация данного принципа предполагает наличие в архитектуре агента комплекса взаимосвязанных механизмов “фокусировки внимания” на наиболее значимых для него задачах. Эти механизмы должны работать на разных уровнях архитектуры агента и обеспечивать выработку решений по организации действий агента за время соответствующее динамике процессов во внешней среде.

Формальная модель интеллектуального агента реального времени.

Совокупность всех кратковременных и долговременных знаний, хранимых в памяти агента в данный момент времени, назовем его ментальным состоянием. Тогда формальную модель агента на верхнем уровне абстракции можно задать парой:

AFM = <MS, MT>,

где MS - совокупность пространств внутренних (ментальных) состояний агента, соответствующих таким понятиям как цели, планы, и т. д.; MT - совокупность отображений между этими пространствами. Большинство известных в настоящее время подходов к построению интеллектуальных агентов не учитывают временного аспекта реализации этих отображений.

Выделим следующие пространства ментальных состояний агента: SEI - принятая от сенсорных подсистем текущая информация о состоянии внешней среды; IEI - текущий внутренний образ состояния внешнего мира (интерпретированный на любом требуемом уровне абстракции); PES - прогнозируемое состояние внешнего мира; ISS -оценка текущего состояния собственных подсистем агента; PIS - прогнозируемое состояние собственных подсистем агента; STP - краткосрочный (тактический) план агента; LTP - долгосрочный (стратегический) план агента. Формальная модель агента в виде диаграммы, отражающей совокупность отображений между пространствами ментальных состояний, представлена на рис. 1.

На диаграмме, кроме указанных выше, использованы следующие обозначения: fESS - функция восприятия внешней среды; fESI - функция интерпретации (оценки) состояния внешней среды; fESP - функция прогнозирования состояния внешней среды; fSTP - функция построения краткосрочного (тактического) плана; fISA - функция оценки состояния собственных подсистем; fISP - функция прогнозирования состояния собственных подсистем; fLTP - функция построения долгосрочного (стратегического) плана. Отметим, что знания, с использованием которых реализуются отображения между выделенными пространствами, тоже включаются в ментальное состояние, однако они рассматриваются на более низких уровнях представления агента.

Динамика интеллектуальной переработки информации агентом определяется временными характеристиками выделенных отображений. При функционировании агента в реальном времени, в соответствии с концепцией “ограниченной эффективности”, необходимо обеспечить возможность динамической параметризации этих отображений по времени и качеству решения. Для этого отображениям fi модели динамически, в зависимости от текущей ситуации, назначаются пары (FAR, Td)i, где FAR - правила фокусировки внимания, а Td - крайний срок (Tdeadline) реализации i-го отображения. Оценка и распределение общего бюджета времени между интеллектуальными подсистемами нижнего уровня, а также определение правил фокусировки внимания является функцией тактического планировщика. С этой целью в модель введены дополнительные контуры управления, показанные на диаграмме пунктирными стрелками. Рассмотрим реализацию предлагаемого подхода к обеспечению реального времени на примере взаимодействия тактического планировщика с агентом оценки внешней обстановки.

Агент оценки внешней обстановки.

Задачей агента оценки внешней обстановки является построение на основе низкоуровневых данных, поступающих от подсистемы восприятия, высокоуровневого описания ситуации, которое является исходным для работы агентов прогнозирования и планирования. Данная задача относится к классу задач интерпретации.

Внешний мир агента в общем случае можно рассматривать как совокупность объектов, характеризующихся некоторым набором свойств (атрибутов) и отношений между этими объектами:

Env = <O, P, R>,

где O - множество объектов среды; P - множество свойств (атрибутов) объектов; R - множество отношений между объектами.

Свойства объектов делятся на уровни абстракции. К первому (нижнему) уровню относятся все атрибуты, значения которых поступают от подсистемы восприятия. Атрибут относится к n-му уровню абстракции, если при его вычислении используется значение хотя бы одного атрибута (n-1)-го уровня.

Общая задача оценки обстановки в каждый момент времени сводится к совокупности частных задач следующих типов:

вычисление значения заданного атрибута объекта. Например, “Определить класс объекта Oi”;

вычисление предиката на некотором атрибуте. Например, “Скорость объекта Oi больше 150 м/с”;

вычисление отношения между объектами. Например, “Объекты Oi и Ok в течение 5с следуют параллельными курсами”;

определение наличия объектов, удовлетворяющих некоторому предикату. Например, “Существуют объекты, находящиеся ближе 20 км, скорость сближения с которыми больше 300 м/с”.

Алгоритмы произвольного времени. Каждой частной задаче сопоставлено множество вариантов ее решения, отличающихся качеством получаемого результата и затрачиваемым временем :

.

Качество решения общей задачи оценки обстановки зависит от качества решения частных задач:

,

где - качество выбранного варианта решения задачи ; - функционал, описывающий зависимость качества решения общей задачи оценки обстановки от качества решения частных задач.

Задача внутреннего планировщика агента оценки обстановки состоит в определении для всех частных задач вариантов их решения, доставляющих максимум функции качества решения общей задачи интерпретации обстановки, при соблюдении ограничения по времени. Математическая постановка задачи имеет вид:

, , .

Такая постановка предполагает аналитическое задание зависимости качества общей задачи от качества частных задач. Однако на практике это, как правило, не представляется возможным, т. к. не удается выразить функцию в аналитической форме, в течение ограниченного времени в условиях быстро меняющейся обстановки (т.к. прагматическая значимость объектов внешней среды и соответствующих частных задач постоянно меняются). Для оперативного задания агенту оценки обстановки правил фокусировки внимания (ПФВ) предложен специальный язык, названный языком фокусировки внимания (ЯФВ).

 

Язык фокусировки внимания.

Основными требованиями к языку фокусировки внимания (ЯФВ) являются:

возможность описания правил построения плана решения общей задачи оценки обстановки за заданное время;

простой синтаксис и семантика, допускающие эффективный в смысле вычислительной сложности алгоритм интерпретации ПФВ в процессе построения плана.

Список ПФВ представляет собой упорядоченную совокупность правил, каждое из которых описывает способ понижения качества частных задач на очередном шаге для соблюдения временных ограничений. В процессе построения плана вычислений планировщик агента оценки обстановки последовательно просматривает список ПФВ, распределяя бюджет времени между частными задачами в соответствии с очередным правилом. Пример правила фокусировки внимания приведен ниже:

{p1}? 80, {p2, p3}=85,{p4, p5}? 95.

Данное правило содержит три оператора. Первый оператор предписывает плавное понижение качества решения задачи p1 до уровня 80 (если в процессе этого по7нижения не будет получен приемлемый вариант). В соответствии со вторым оператором будет осуществлен скачкообразный переход к вариантам решения задач p2 и p3 с уровнем качества 85. Если это не позволяет удовлетворить временным ограничениям, будет плавно понижаться качество задач p4 и p5 до уровня 95.

Пусть - минимальное время, необходимое для решения общей задачи оценки обстановки в соответствии с n-м правилом ФВ. Эта величина вычисляется как сумма минимальных времен решения всех частных задач, в соответствии с указанными в данном правиле вариантами. Отметим, что при расчете этой величины используются времена решения частных задач в худшем случае. - время решения i-ой частной задачи, соответствующее нижнему уровню качества этой задачи в n-ом правиле ФВ. - l-й оператор n-го правила ФВ.

С использованием введенных обозначений основной алгоритм работы планировщика записывается следующим образом.

begin

1. n:=1;

2. ;

3. if theh n := n+1; goto 2

4. else УТОЧНИТЬ_ПЛАН

end

В результате выполнения шагов 2 и 3 данного алгоритма, определяется правило фокусировки внимания, в рамках которого строится уточненный план. Алгоритма поиска уточненного плана рассмотрен в докладе.

Заключение

Предложенная модель высокоуровневого интеллектуального агента за счет введения контуров управления временными параметрами отображений, реализуемых подсистемами нижнего уровня, позволяет обеспечить режим реального времени при функционировании агента в динамических и неопределенных средах.

Литература

1. Wooldridge M., Jennings N. Intelligent Agents: Theory and Practice// Knowledge Engineering Review, 1995, V. 10, N 2, p. 115-152.

2. Nwana H.S., Ndumu D.T. An Introduction to Agent Technology// BT Technology Journal, 1996, V. 14, N 4, p. 55-67.

3. Wooldridge M., Jennings N. Intelligent Agents// Lecture Notes in Artificial Intelligence, 1995, v.890, p.407.


Site of Information Technologies
Designed by  inftech@webservis.ru.